1. Computability and logic
پدیدآورنده : Boolos, George.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.
رده :
QA
9
.
59
.
B6C6
2. Computability and logic
پدیدآورنده : Boolos, George S., 0491-6991
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
3. Computability and logic
پدیدآورنده : Boolos, George
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and Mathematical
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
4. Computability and logic
پدیدآورنده : Boolos, George S., 0491-6991
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
1989
5. Logic, Logic, and logic
پدیدآورنده : Boolos, George S., 0491-6991
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic
رده :
BC
51
.
B6
6. Logic, logic, and logic
پدیدآورنده : Boolos, George
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic
رده :
BC
51
.
B58
1998
7. Logic, logic, and logic
پدیدآورنده : Boolos, George.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Logic
رده :
BC51
.
B58
1998
8. Logic,logic,and logic
پدیدآورنده : Boolos, George
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
BC
51
.
B6
L6
1998
9. Meaning and method :essays in honor of Hilary Putnam
پدیدآورنده : edited by George Boolos
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Putnam, Hilary,، Philosophy
رده :
B29
.
M436
1990
10. The logic of provability
پدیدآورنده : Boolos, George S., 0491-6991
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Modality )Logic(,، Proof theory
رده :
BC
199
.
M6B6
11. The unprovability of consistency : an essay in modal logic
پدیدآورنده : George Boolos,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Modality )Logic(,Proof theory
رده :
BC
.
M6B66
199